$\forall$$i$, $j$:$\mathbb{Z}$. ($i$ $\geq$ $j$ ) $\Leftarrow\!\Rightarrow$ (({-}$i$) $\leq$ ({-}$j$))